683968dd07d5dce8e77b599b519de4d32c8f1171,examples/it.xsemantics.example.lambda/xsemantics-gen/it/xsemantics/example/lambda/xsemantics/LambdaXsemanticsSystem.java,LambdaXsemanticsSystem,applyRuleVariableType,#RuleEnvironment#RuleApplicationTrace#TypeSubstitutions#Variable#,842
In pattern: SUPERPATTERN
Frequency: 3
Non-data size: 2
Instances
1484328972
lorenzo.bettini@gmail.com
LorenzoBettini/xsemantics,683968dd07d5dce8e77b599b519de4d32c8f1171,examples/it.xsemantics.example.lambda/xsemantics-gen/it/xsemantics/example/lambda/xsemantics/LambdaXsemanticsSystem.java,LambdaXsemanticsSystem,applyRuleVariableType,#RuleEnvironment#RuleApplicationTrace#TypeSubstitutions#Variable#,842
1484328972
lorenzo.bettini@gmail.com
LorenzoBettini/xsemantics,683968dd07d5dce8e77b599b519de4d32c8f1171,examples/it.xsemantics.example.expressions/xsemantics-gen/it/xsemantics/example/expressions/typing/ExtendedExpressionsSemantics.java,ExtendedExpressionsSemantics,applyRuleInterpretStringLiteral,#RuleEnvironment#RuleApplicationTrace#StringLiteral#,609
1484328972
lorenzo.bettini@gmail.com
LorenzoBettini/xsemantics,683968dd07d5dce8e77b599b519de4d32c8f1171,examples/it.xsemantics.example.expressions/xsemantics-gen/it/xsemantics/example/expressions/typing/ExtendedExpressionsSemantics.java,ExtendedExpressionsSemantics,applyRuleInterpretStringLiteral,#RuleEnvironment#RuleApplicationTrace#StringLiteral#,609